Disjunctive merging: Quota and Gmin merging operators

نویسندگان

  • Patricia Everaere
  • Sébastien Konieczny
  • Pierre Marquis
چکیده

When aggregating information from a group of agents, accepting the pieces of information shared by all agents is a natural requirement. In this paper, we investigate such a unanimity condition in the setting of propositional merging. We discuss two interpretations of the unanimity condition. We show that the first interpretation is captured by existing postulates for merging. But the second interpretation is not, and this leads to the introduction of a new disjunction postulate (Disj). It turns out that existing operators satisfying (Disj) do not perform well with respect to the standard criteria used to evaluate merging operators: logical properties computational complexity and strategy-proofness. To fill this gap, we introduce two new families of propositional merging operators, quota operators and Gmin operators, which satisfy (Disj), and achieve interesting trade-offs with respect to the logical, computational, and strategy-proofness criteria.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Quota and Gmin Merging Operators

In this paper, two families of merging operators are considered: quota operators and Gmin operators. Quota operators rely on a simple idea: any possible world is viewed as a model of the result of the merging when it satisfies “sufficiently many” bases from the given profile (a multi-set of bases). Different interpretations of the “sufficiently many” give rise to specific operators. Each Gmin o...

متن کامل

On the Logic of Merging: Quota and Gmin Operators

In this paper, two families of merging operators are considered: quota operators and Gmin operators. Quota operators rely on a simple idea: any possible world is viewed as a model of the result of the merging when it satisfies “sufficiently many” bases from the given profile (a multi-set of bases). Each interpretation of the “sufficiently many” gives rise to a specific operator. Each Gmin opera...

متن کامل

Quota-Based Merging Operators for Stratified Knowledge Bases

Current merging methods for stratified knowledge bases are often based on the commensurability assumption, i.e. all knowledge bases share a common scale. However, this assumption is too strong in practice. In this paper, we propose a family of operators to merge stratified knowledge bases without commensurability assumption. Our merging operators generalize the quota operators, a family of impo...

متن کامل

SAT Encodings for Distance-Based Belief Merging Operators

We present SAT encoding schemes for distance-based belief merging operators relying on the (possibly weighted) drastic distance or the Hamming distance between interpretations, and using sum, GMax (leximax) or GMin (leximin) as aggregation function. In order to evaluate these encoding schemes, we generated benchmarks of a time-tabling problem and translated them into belief merging instances. T...

متن کامل

A principled analysis of merging operations in possibilistic logic

Possibilistic logic offers a qualitative frame­ work for representing pieces of information associated with levels of uncertainty or pri­ ority. The fusion of multiple sources infor­ mation is discussed in this setting. Differ­ ent classes of merging operators are consid­ ered including conjunctive, disjunctive, rein­ forcement, adaptive and averaging operators. Then we propose to analyse these...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Artif. Intell.

دوره 174  شماره 

صفحات  -

تاریخ انتشار 2010